- полнота предложений
- n
logic. complétude
Dictionnaire russe-français universel. 2013.
полнота предложений
Regardez d'autres dictionnaires:
ПОЛНОТА ФУНКЦИОНАЛЬНАЯ — характеристика выразительных возможностей класса функций или формальных выражений ( словаря , или алфавита ) и системы правил комбинирования элементов этого класса ( грамматики ), играющая важную роль в математике, математической логике и ее… … Философская энциклопедия
ПОЛНОТА — в логике и дедуктивных науках, свойство аксиоматич. теории, характеризующее достаточность для к. л. определ. целей её выразит. и дедуктивных средств. Аксиоматич. система наз. дедуктивно полной по отношению к данной интерпретации, если все … Философская энциклопедия
полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… … Энциклопедия эпистемологии и философии науки
МДС 11-3.99: Методические рекомендации по проведению экспертизы технико-экономических обоснований (проектов) на строительство объектов жилищно-гражданского назначения — Терминология МДС 11 3.99: Методические рекомендации по проведению экспертизы технико экономических обоснований (проектов) на строительство объектов жилищно гражданского назначения: 2.9.6. Анализ влияния неопределенности и риска на эффективность… … Словарь-справочник терминов нормативно-технической документации
НЕЗАВИСИМОСТЬ — в логике и математике, невыводимость (недоказуемость) предложения некоторой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюнкции формул), напр. из данной системы… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
МДС 11-4.99: Методические рекомендации по проведению экспертизы технико-экономических обоснований (проектов) на строительство предприятий, зданий и сооружений производственного назначения — Терминология МДС 11 4.99: Методические рекомендации по проведению экспертизы технико экономических обоснований (проектов) на строительство предприятий, зданий и сооружений производственного назначения: 2.11.6. Анализ влияния неопределенности и… … Словарь-справочник терминов нормативно-технической документации
МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… … Философская энциклопедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
ФАКТИЧЕСКАЯ ИСТИННОСТЬ — (в л о г и к е) – истинность предложения (суждения, высказывания), обусловленная, в отличие от т.н. логич. истинности, содержанием этого предложения. Иначе говоря, предложение является фактически истинным, когда его истинность зависит от значений … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
